
#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
#include <stdbool.h>

typedef int STDataType;

typedef struct stack
{
	STDataType* a;
	int top;
	int capaciti;
}ST;

void STinit(ST* ps);
void STpush(ST* ps, STDataType x);
void STpop(ST* ps);
int STsize(ST* ps);
bool STempty(ST* ps);
STDataType STTop(ST* ps);
void STDestroy(ST* ps);
